#ifndef KERNEL_H
#define KERNEL_H

int loadP(int argc, char *argv[]);
void SWI_handler(void);
void exit_to_kernel(int fd);

#endif
